-
1 логика высказываний
-
2 логика высказываний
Русско-английский научно-технический словарь Масловского > логика высказываний
-
3 исчисление высказываний
-
4 исчисление высказываний
Русско-английский новый политехнический словарь > исчисление высказываний
-
5 исчисление высказываний
Русско-английский военно-политический словарь > исчисление высказываний
-
6 алгебра высказываний
Русско-английский большой базовый словарь > алгебра высказываний
-
7 иерархия высказываний
Русско-английский большой базовый словарь > иерархия высказываний
-
8 логика
logic
– базовая логика
– бинарная логика
– вероятностная логика
– диодно-транзисторная логика
– комбинаторная логика
– конструктивная логика
– логика большинства
– логика высказываний
– логика диод-транзисторная
– логика предикатове
– логика транзистор-транзисторная
– математическая логика
– модальная логика
– нерегулярная логика
– отризательная логика
– пороговая логика
– резисторно-транзисторная логика
– транзисторно-транзисторная логика
– троичная логика
– формальная логика
– экстенсиональная логика
классическая логика высказываний — classical propositional logic
логика на полевых транзисторах с емкостными связями через диоды — capacitive diode FET logic
-
9 логика
ж. logicлогика «большинства» — majority logic
-
10 логика
ло́гика ж.
logicадапти́вная ло́гика — adaptive logicбина́рная ло́гика — binary logicло́гика «большинства́» — majority logicвероя́тностная ло́гика — probabilistic logicло́гика выска́зываний — propositional logicдиалекти́ческая ло́гика — dialectical logicN-зна́чная ло́гика — N-valued logicинтенсиона́льная ло́гика — intensional logicинтуициони́стская ло́гика — intuitiotistic logicкомбинато́рная ло́гика — combinatorial [combinatory] logicконструкти́вная ло́гика — constructive logicмажорита́рная ло́гика — majority logicматемати́ческая ло́гика — mathematical logicмногозна́чная ло́гика — many-valued logicмода́льная ло́гика — modal logicнерегуля́рная ло́гика — irregular logicотрица́тельная ло́гика — negative logicположи́тельная ло́гика — positive logicпоро́говая ло́гика — threshold logicло́гика предика́тов — predicate logicло́гика прерыва́ния — interrupt logicпрограмми́руемая ло́гика — programmable logicсимволи́ческая ло́гика — symbolic logicстати́ческая ло́гика — static logicтеорети́ческая ло́гика — mathematical logicтрои́чная ло́гика — ternary logicформа́льная ло́гика — formal logic -
11 логика высказываний
1) Engineering: propositional logic2) Linguistics: prepositional logic3) Information technology: assertion-level logicУниверсальный русско-английский словарь > логика высказываний
-
12 пропозициональная логика
1) Computers: propositional logic2) Mathematics: sentential logicУниверсальный русско-английский словарь > пропозициональная логика
-
13 классическая логика высказываний
Русско-английский научно-технический словарь Масловского > классическая логика высказываний
-
14 алгебра высказываний
1) Mathematics: algebra of propositions (то же "алгебра логики"(algebra of logic))2) Information technology: prepositional algebra, propositional algebraУниверсальный русско-английский словарь > алгебра высказываний
-
15 логическая связка
1) Mathematics: propositional functor2) Linguistics: structural constant3) Information technology: connective, logical connective4) Programming: logic connective
См. также в других словарях:
propositional logic — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary
propositional logic — noun A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. Syn: propositional calculus … Wiktionary
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Propositional variable — In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building blocks of propositional formulas, used in… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium